Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
491	Varieties Generated by Certain Models of Reversible Finite Automata Marats Golovkins∗ Faculty of Computing, University of Latvia, Rai¸na bulv. 29, Riga LV-1459, Latvia marats at latnet dot lv Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:29:25 Mathematics Semigroup theory Algebra Category theory Models of computation Monoid Semiautomaton Semigroup Regular language Automata theory Abstract algebra Formal languages
492	Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems Vilhelm Sj¨oberg Chris Casinghino Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:12 Models of computation Computability theory Lambda calculus Function Mathematics Mathematical logic Theoretical computer science
493	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2007-11-09 01:03:49 Computing Programming language theory Compiler construction Models of computation Instruction scheduling Denotational semantics Trace scheduling Abstract interpretation Assembly language Compiler optimizations Programming language implementation Software engineering
494	Computation at a Distance Samuel A. Kutin∗ David Petrie Moulton∗ Lawren M. Smithline∗ Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2007-09-26 00:42:46 Applied mathematics Quantum circuit Quantum gate Quantum computer Theoretical computer science Quantum information science Models of computation
495	A OpenStream: Expressiveness and Data-Flow Compilation of OpenMP Streaming Programs ´ Antoniu Pop, INRIA and Ecole Normale Sup´erieure Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2013-02-19 11:16:13 Models of computation Programming paradigms Inter-process communication Procedural programming languages Parallel computing OpenMP Stream processing Stream ALGOL 68 Computing Computer programming Software engineering
496	c 2004 by Kevin Michael Squire. All rights reserved. HMM-BASED SEMANTIC LEARNING FOR A MOBILE ROBOT BY Add to Reading List Source URL: www.isle.illinois.edu Language: English - Date: 2005-05-13 18:11:18 Applied mathematics Bioinformatics Computational linguistics Models of computation Hidden Markov model Speech recognition Artificial neural network Markov chain Hidden semi-Markov model Markov models Statistics Machine learning
497	A Turing Machine Resisting Isolated Bursts Of Faults Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2013-03-28 00:33:04 Computability theory Models of computation Computer science Alan Turing Formal methods Computational complexity theory Cellular automaton Non-deterministic Turing machine Busy beaver Turing machine Theory of computation Theoretical computer science
498	IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 48, NO. 2, FEBRUARYFeedback Can Reduce the Specification Complexity of Motor Programs Add to Reading List Source URL: hrl.harvard.edu Language: English - Date: 2003-11-10 22:28:54 Computer science Formal methods Finite-state machine Nondeterministic finite automaton State Büchi automaton Automata theory Models of computation Theoretical computer science
499	Docking Models in Org Science Add to Reading List Source URL: hcs.ucla.edu Language: English - Date: 2007-05-21 17:48:21 Cybernetics Models of computation Systems theory Organizational behavior Kathleen Carley Computational model Richard Feynman System Computational and Mathematical Organization Theory Science Physics Academia
500	Microsoft PowerPoint22_DSM_short.pptx Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2012-10-25 07:21:57 Software Computing Kermeta Models of computation Metamodeling Semantics Modeling language Finite-state machine SIGNAL Unified Modeling Language Software engineering Scientific modeling

UPDATE